FBTCAn Intermediate Language for the Simulation of Biological Systems 1 Roberto Barbuti,2 Giulio Caravagna,3 Andrea Maggiolo–Schettini4 and Paolo Milazzo5

Source URL: pages.di.unipi.it

• Mathematics
• Theoretical computer science
• Mathematical logic
• Formal languages
• Order theory
• Logic in computer science
• Multiset
• Path ordering
• Term
• Structure
• Rewriting
• Model theory

Colimits for Concurrent Collectors Dusko Pavlovic1, Peter Pepper2 , and Doug Smith1 1 2

Source URL: www.kestrel.edu

• Computer programming
• Software engineering
• Functional programming
• Monad
• Heap
• Clean

Location-Aware Quality of Service Measurements for Service-Level Agreements Ashok Argent-Katwala1 , Jeremy Bradley1 , Allan Clark2 , Stephen Gilmore2 1 2

Source URL: www.dcs.ed.ac.uk

• Process calculi
• Stochastic probe
• Measuring instruments
• Scanning probe microscopy

Self-Driving Radios Samuel Joseph, Rakesh Misra, Sachin Katti 1 2

Source URL: platformlab.stanford.edu

• Data transmission
• Information and communications technology
• Media technology
• Software-defined radio
• Symbol rate
• Modulation
• Radio
• Pulse shaping
• Orthogonal frequency-division multiplexing
• Physical layer
• MLT-3 encoding
• Ultra-wideband

Uebersichtspläne _ 1. OG_2

Source URL: www.swissprinters.ch

Términos y Condiciones de uso del Servicio de Consulta Médica a Distancia “Llamando al Doctor” 1. Definiciones:

Source URL: s3-us-west-2.amazonaws.com

ECE/CS498: Applied Cryptography Instructor: Andrew Miller, TA: Kevin Liao Lecture 2: Interactive Proofs 1

Source URL: gitlab-beta.engr.illinois.edu

• Cryptography
• Computational complexity theory
• Theory of computation
• Randomized algorithms
• Complexity classes
• Zero-knowledge proof
• Interactive proof system
• Quantum complexity theory
• NP
• IP
• Soundness
• Computational indistinguishability

Solvency Markov Decision Processes with Interest Tomáš Brázdil∗1 , Taolue Chen2 , Vojtěch Forejt†3 , Petr Novotný1 , and Aistis Simaitis3 1 2 3

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Mathematical analysis
• Dynamic programming
• Markov processes
• Stochastic control
• Probability
• Markov decision process
• Sigma-algebra
• P versus NP problem
• Reinforcement learning

Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2

Source URL: seahorn.github.io

• Software engineering
• Programming language theory
• Computing
• Logic in computer science
• Horn clause
• Control flow
• ALGOL 68
• Formal methods
• Logic programming

Allgemeine Geschäftsbedingungen der ITEMIS AG für die Software-Überlassung itemis AG Version 2.0.1, Allgemeine Geschäftsbedingungen der ITEMIS AG für die Software-Überlassung

Source URL: legal.itemis.com